-
1 рекурсивно перечислимое множество
Большой русско-немецкий полетехнический словарь > рекурсивно перечислимое множество
-
2 рекурсивно перечислимое множество
рекурсивно перечислимое множество
—
[ http://www.iks-media.ru/glossary/index.html?glossid=2400324]Тематики
- электросвязь, основные понятия
EN
Русско-английский словарь нормативно-технической терминологии > рекурсивно перечислимое множество
-
3 рекурсивно перечислимое множество
Mathematics: recursively enumerable setУниверсальный русско-английский словарь > рекурсивно перечислимое множество
-
4 рекурсивно-перечислимое множество
Logics: recursively enumerable setУниверсальный русско-английский словарь > рекурсивно-перечислимое множество
-
5 рекурсивно-перечислимое множество
Русско-английский словарь по вычислительной технике и программированию > рекурсивно-перечислимое множество
-
6 рекурсивно перечислимое множество
Русско-белорусский математический словарь > рекурсивно перечислимое множество
-
7 rekursiv aufzählbare Menge
рекурсивно перечислимое множествоНемецко-русский математический словарь > rekursiv aufzählbare Menge
См. также в других словарях:
рекурсивно перечислимое множество — — [http://www.iks media.ru/glossary/index.html?glossid=2400324] Тематики электросвязь, основные понятия EN recursively enumerable set … Справочник технического переводчика
Рекурсивно перечислимое множество — Перечислимое множество множество конструктивных объектов (например, натуральных чисел), элементы которого могут быть эффективно перенумерованы (возможно, с повторениями). Варианты определения Различным формализациям представления об алгоритме… … Википедия
Перечислимое множество — рекурсивно перечислимое множество, множество натуральных чисел или каких либо других конструктивных объектов (См. Конструктивные объекты), занумерованных натуральными числами, являющееся множеством значений некоторой общерекурсивной… … Большая советская энциклопедия
Перечислимое множество — Не следует путать с счётным множеством. В теории множеств, теории алгоритмов и математической логике, перечислимое множество (эффективно перечислимое, рекурсивно перечислимое, полуразрешимое множество[1]) множество конструктивных объектов… … Википедия
Перечислимое — множество, рекурсивно перечислимое множество, множество натуральных чисел или каких либо других конструктивных объектов, занумерованных натуральными числами, являющееся множеством значений некоторой общерекурсивной функции. См. Рекурсивные… … Большая советская энциклопедия
ПРОСТОЕ МНОЖЕСТВО — рекурсивно перечислимое множество натуральных чисел, дополнение к рого есть иммунное множество. П. м. являются промежуточными в смысле так наз. m сводимости (см. Рекурсивная теория множеств).между разрешимыми множествами и творческими… … Математическая энциклопедия
КРЕАТИВНОЕ МНОЖЕСТВО — творческое множество, рекурсивно перечислимое множество Анатуральных чисел, дополнение к рого Адо натурального ряда является продуктивным множеством;иными словами, множество Акреативно, если оно рекурсивно перечислимо и существует такая частично… … Математическая энциклопедия
ПРОДУКТИВНОЕ МНОЖЕСТВО — множество натуральных чисел А , для к рого существует такая частично рекурсивная функция j, что для всякого рекурсивно перечислимого множества Wx с геделевым номером х, содержащегося в А. Известно, что для всякого П. м. Асуществует такая… … Математическая энциклопедия
РАЗРЕШИМОЕ И ПЕРЕЧИСЛИМОЕ МНОЖЕСТВА — осн. понятия теории алгоритмов и теории рекурсивных функций (и предикатов). (Определение этих понятий на основе понятия алгоритма см. в ст. Алгоритм, раздел Основные понятия теории А.) Простейшим примером разрешимого множества может служить… … Философская энциклопедия
АЛГОРИТМИЧЕСКАЯ ТЕОРИЯ ИНФОРМАЦИИ — раздел математич. логики, уточняющий и изучающий на базе понятий алгоритма и вычислимой функции основные понятия теории информации. А. т. и. стремится обосновать эти понятия без помощи обращения к теории вероятностей и так, чтобы понятия энтропии … Математическая энциклопедия
ПЕРЕЧИСЛЕНИЯ ОПЕРАТОР — отображение множества всех множеств натуральных чисел в себя (т. е. отображение 2N в 2N , где N множество натуральных чисел), определяемое следующим образом. Пусть Wz рекурсивно перечислимое множество с гёделевым номером z, Du конечное множество… … Математическая энциклопедия